gyeongjong of joseontriều tiên định tông: jeongjong of joseoncông ty triều tiên: companies of koreatriều tiên túc tông: sukjong of joseon